Laboratory for Foundations of Computer Science - PDFSEARCH.IO - Document Search Engine

Laboratory for Foundations of Computer Science
Results: 70

#	Item
11	Normalization by evaluation and algebraic effects Danel Ahman1 Laboratory for Foundations of Computer Science University of Edinburgh Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
12	MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
13	Update Monads: Cointerpreting Directed Containers Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; d.ahman@ Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
14	Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
15	Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
16	REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:14
17	Causally consistent dynamic slicing Roly Perera1,2 , Deepak Garg3 , and James Cheney1 1 Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK , Add to Reading List Source URL: dynamicaspects.org - Date: 2016-06-08 06:22:37
18	The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
19	ABCD in Edinburgh Sam Lindley Laboratory for foundations of computer science The University of Edinburgh Add to Reading List Source URL: groups.inf.ed.ac.uk - Date: 2014-01-09 06:48:41
20	Systems Biology A Role for Computational Thinking Models, Formal Systems and Inference Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-21 11:06:31 Jane Hillston Laboratory for Foundations of Computer Science Systems theory Systems thinking Edinburgh Life skills Academia

UPDATE